Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
671	http://www.catb.org/~esr/writings/utility-of-math/ Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 20:16:00 Formal systems Mathematical logic Formalism Mathematical object Geometry Axiomatic system Mathematical proof Set theory Mathematical model Mathematics Philosophy of mathematics Abstraction
672	DO ANDROIDS PROVE THEOREMS IN THEIR SLEEP? Michael Harris, version of March 21, 2008, (plus one addition) 1. A mathematical dream narrative …antes imagino que todo es ficción, fábula y mentira, y sueños contados por Add to Reading List Source URL: webusers.imj-prg.fr Language: English - Date: 2009-01-07 04:12:10 Mathematical logic Formal systems Philosophy of mathematics Proof theory Mathematical proof Theorem Formal proof Axiom Automated theorem proving Logic Mathematics Logical syntax
673	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics
674	Decidability of Parameterized Probabilistic Information Flow Dani`ele Beauquier1 , Marie Duflot1 and Yury Lifshits2,3 1 Universit´ e Paris 12 Add to Reading List Source URL: yury.name Language: English - Date: 2007-09-04 18:24:12 Logic Algorithm Mathematical logic Theoretical computer science Decidability Flow network Mathematics Proof theory Applied mathematics
675	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
676	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
677	Productive use of failure in top-down formal methods Alan Bundy, Gudmund Grov, Yuhui Lin Background & motivation Our approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Heuristics Rippling Mathematical proof Theorem Formal methods Formal proof Caller Logic Mathematics Logical syntax
678	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
679	A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-02 15:12:25 Computing Parametricity Stack Polymorphism Unit type Type theory Software engineering Data types
680	Corrections and updates for ninth printing of Osborne and Rubinstein’s “A Course in Game Theory” (MIT Press, [removed]We thank the following people for pointing out errors and improvements: Peter Forsyth, Ch Add to Reading List Source URL: www.economics.utoronto.ca Language: English - Date: 2012-09-25 13:27:21 Model theory Deduction Proof theory

UPDATE